Übersetzung und Analyse von Wörtern durch künstliche Intelligenz
Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
- wie das Wort verwendet wird
- Häufigkeit der Nutzung
- es wird häufiger in mündlicher oder schriftlicher Rede verwendet
- Wortübersetzungsoptionen
- Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
- Etymologie
síntese atómica - Übersetzung nach
- синтез
![Diagrama de Linus Pauling]]](https://commons.wikimedia.org/wiki/Special:FilePath/DIAGRAMA DE LINUS PAILING.JPG?width=200 "Diagrama de Linus Pauling]]")
Definition
Operação química, com que se reúnem corpos simples, para formar corpos compostos, ou com que se reúnem corpos compostos para formar outros de composição mais complexa.
Processo filosófico, com que se desce dos princípios às consequências, e das causas aos efeitos.
Quadro, que expõe o conjunto de uma ciência.
Resenha literária ou científica.
Demonstração matemática das proposições, pela simples dedução das que estão já provadas.
Operação cirúrgica, com que se reúnem ou se restituem ao estado primitivo as partes deslocadas ou separadas.
Organização mental de um sistema.
Figura gramatical, o mesmo que "silepse".
Entre os antigos, era uma espécie de clâmide ou rocló que, nos banquetes, se vestia sôbre o vestuário comum, para que êste se não enodoasse.
(Lat. "sinthesis")
Wikipedia
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.
A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo. Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.
